An introduction to awe-inspiring ideas at the brink of paradox: infinities of different sizes, time travel, probability and measure theory, and computability theory. This book introduces the reader to awe-inspiring issues at the intersection of philosophy and mathematics. It explores ideas at the brink of paradox: infinities of different sizes, time travel, probability and measure theory, computability theory, the Grandfather Paradox, Newcomb's Problem, the Principle of Countable Additivity. The goal is to present some exceptionally beautiful ideas in enough detail to enable readers to understand the ideas themselves (rather than watered-down approximations), but without supplying so much detail that they abandon the effort. The philosophical content requires a mind attuned to subtlety; the most demanding of the mathematical ideas require familiarity with college-level mathematics or mathematical proof. The book covers Cantor's revolutionary thinking about infinity, which leads to the result that some infinities are bigger than others; time travel and free will, decision theory, probability, and the Banach-Tarski Theorem, which states that it is possible to decompose a ball into a finite number of pieces and reassemble the pieces so as to get two balls that are each the same size as the original. Its investigation of computability theory leads to a proof of Goedel's Incompleteness Theorem, which yields the amazing result that arithmetic is so complex that no computer could be programmed to output every arithmetical truth and no falsehood. Each chapter is followed by an appendix with answers to exercises. A list of recommended reading points readers to more advanced discussions. The book is based on a popular course (and MOOC) taught by the author at MIT.

Is it possible to quantify over absolutely all there is? Or must all of our quantifiers range over a less-than-all-inclusive domain? It has commonly been thought that the question of absolute generality is intimately connected with the set-theoretic antinomies. But the topic of absolute generality has enjoyed a surge of interest in recent years. It has become increasingly apparent that its ramifications extend well beyond the foundations of set theory. Connections include semantic indeterminacy, logical consequence, higher-order languages, and metaphysics. Rayo and Uzquiano present for the first time a collection of essays on absolute generality. These newly commissioned articles - written by an impressive array of international scholars - draw the reader into the forefront of contemporary research on the subject. The volume represents a variety of approaches to the problem, with some of the contributions arguing for the possibility of all-inclusive quantification and some of them arguing against it. An introduction by the editors draws a helpful map of the philosophical terrain.

Is it possible to quantify over absolutely all there is? Or must all of our quantifiers range over a less-than-all-inclusive domain? It has commonly been thought that the question of absolute generality is intimately connected with the set-theoretic antinomies. But the topic of absolute generality has enjoyed a surge of interest in recent years. It has become increasingly apparent that its ramifications extend well beyond the foundations of set theory. Connections include semantic indeterminacy, logical consequence, higher-order languages, and metaphysics. Rayo and Uzquiano present for the first time a collection of essays on absolute generality. These newly commissioned articles - written by an impressive array of international scholars - draw the reader into the forefront of contemporary research on the subject. The volume represents a variety of approaches to the problem, with some of the contributions arguing for the possibility of all-inclusive quantification and some of them arguing against it. An introduction by the editors draws a helpful map of the philosophical terrain.